DANGER.GF[MF,DEK]1 - www.SailDart.org

perm filename DANGER.GF[MF,DEK]1 blob sn#776968 filedate 1984-11-23 generic text, type T, neo UTF8
{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔&∩p→g#⊂_π∨λ]
↔ 6→$∧ 0[Lv(9≠nW_⊂_LVp2λ∞6H3[↑⊂_⊂ε∨(>@z@≡0< B_,∨(4?␈@z@≠p< B_,/(H@@z@≠p< 2_↑Pλv@∂(xA∧β→_>Pλl?␈O(
xA∧β→_↑Pλl?␈O(␈vx@dβ→⎇ ∂P≡←xε@∂λαλεβ_0⎇ ∩⊂α≡←x⊂@∂λαλεβ_1= 
λ␈}≡←x⊂@∂λ↓Hεβ z@p= ≡⊂ ⊂εFλz@β0α=?⎇@≡⊂ ⊂εF⊂z@β0α= α@≡⊂ ⊂ε∪z@≤`= ⊂p≡⊂ ⊂ε∪λz@≤`= ∞p ↑⊂ ⊂ε∪⊂z@≤`=?qλ␈←↑⊂ ⊂ε∪_z@≤`=?gX≡⊂ ⊂ε∪ z@!`= ⊂p≡⊂ ⊂ε∪(z@!`= ∞p ↑⊂ ⊂ε∪0z@!`=?qλ␈←↑⊂ ⊂ε∪8z@!`=?gX≡⊂ ⊂ε#z@∨xp=?gX≡⊂ ⊂ε#λz@3 ⊂=?gX≡⊂ ⊂ε3λz@∃∨xx= π@≡⊂ ⊂ε3⊂z@) λ= ¬P≡⊂ ⊂ε3 z@) λ= ↓p≡⊂ ⊂ε3(z@∃∨xx=?}⊂≡⊂ ⊂ε38z@∃∨xx=?z0≡⊂ ⊂ε3@z@) λ=?x@≡⊂ 9≥-F(z@= ≡Pλz∂(xA∞'(6→>P∂(C@z@>@= ⊂p≡⊂ 9≥-F(z@= ≡Pλz∂(xA∞'(6→>P∂(z@= ⊂p≡⊂ 9≥-F(z@>@= ≡Pλz∂(C@!@?␈␈␈x␈@λy␈␈␈p:λ
qKS3λMLs3 MMSC0N
SC0N
SC0N
SC0N
SC0NβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβ@A⊂αβSC0N
SC0N
SC0N
SC0M∞S#pMPλ	X ⊂S$#&h∧@MH↓"MπB!pMGβ↓`MFCaPMF$!HMF∧a@MEe!8MEEa0MEF↓0MEF!0ME&a(ME'↓(ME'!(MEπa MEλ∧
&bD!¬∪1  ⊃αIX
⊂λa MEλ∧@
&bD%¬∪1  ∪αIX
⊂	a MEλ¬
&bD)¬∪1  ∃αIX
⊂
a MEλ¬@
&bD-¬∪1  ↔αIX
⊂a MEλε
&bD1¬∪1  →αIX
⊂a MEλε@
&bD5¬∪1  ≠αIX
⊂
a MEλπ
&bD9¬∪1  ≥αIX
⊂∞a MEλπ@
&bD=¬∪1  ∨αIX
⊂∂a MEλλ
&bDA¬∪1  !αIX
⊂⊂a MEλλ@
&bDE¬∪1  #αIX
⊂⊃a MEλ	
&bDI¬∪1  %αIX
⊂∩a MEλ	@
&bDM¬∪1  'αIX
⊂∪a MEλ

&bDQ¬∪1  )αIX
⊂∀a MEλ
@
&bDU¬∪1  +αIX
⊂∃a MEλ
&bDY¬∪1  -αIX
⊂⊗a MEλ@
&bD]¬∪1  /αIX
⊂↔a MEλ
&bDa¬∪1  1αIX
⊂_a MEλ@
&bDe¬∪1  3αIX
⊂→a MEλ
&bDi¬∪1  5αIX
⊂~a MEλ
@
&bDm¬∪1 ⊃↓H 
&bB_ε⊂∃q ME∧Aλ *bIX
	"dSE∪1 ∪πλ
⊂
&bB0⊃⊂∪a ME∧r8 &BIX

¬TJE∪1 ∀LH	λ
&bBP≠P⊃Q ME¬3h "αIX

h∧_ !αIX
λ∧@  αIX
(∧p ≡bIX
H¬_ ≥bIX
h¬@ ≤bIX
h¬x ≠BIX
λε  ~BIX
(εH →BIX
Hεx _"IX
hπ  ↔"IX
hπP ⊗"IX

λλ ∃αIX

(λ( ∀αIX

HλP ∪αIX

h	 ⊃bIX
∞λ	( ⊂bIX
∞λ	X∨E∪1 ≤P∀∪P
&bCP )Fa MEπ4UbIX
∂λ
h_E∪1 ≡⊂⊗∩x
&bCh -¬Q MEπd[αIX
∂h8⊗¬∪1  ⊂λH∃E∪1  ⊂λX∃E∪1  ⊂(h∃¬∪1  ⊂Hp∃¬∪1  ⊂h∀E∪1  ⊃λλ∀E∪1  ⊃(⊂∀E∪1  ⊃( ∀E∪1  ⊃H(∀E∪1  ⊃h0∀E∪1  ∩λ8∀E∪1  ∩(8∃¬∪1  ∩(H∃¬∪1  ∪h(∃¬∪1  ∃H∃¬∪1  ↔λX∃E∪1  _H8∃E∪1  ~(⊂∃E∪1  ≠h
h⊗¬∪1  ≥(
H⊗¬∪1  ∨λ
 ⊗¬∪1   H	x⊗E∪1  "λ	X⊗E∪1  #h	(↔¬∪1  %(	↔E∪1  &hλ`↔E∪1  (Hλ0_¬∪1  *λλ⊂_¬∪1  +Hπh_E∪1  -(π8→¬∪1  .hπ_→¬∪1  0(εp→E∪1  2λε@~¬∪1  3Hε_~E∪1  5λ¬x~E∪1  6h¬H≠¬∪1  8(¬ ≠E∪1  9h∧x≤¬∪1  ;H∧H≤E∪1  =λ∧(≤E∪1  >H∧≥¬∪1  @ ∪P≥E∪1  @ s(≡¬∪1  @!#_≡E∪1  @!C⊂∨¬∪1  @!S⊂∨E∪1  @!c⊂ ⊂αIX
⊂ ⊂x→⊂λ⊃ MEλ⊂λλH∧⊂
&bDλDε4!E∪1  @"∪_ ⊃αIX
⊂ ⊃λ~⊂λQ MEλ⊂λλM(∧0
&bDλD&d#E∪1  @"β8 ∩"IX
⊂ ⊂p≥⊂	! MEλ⊂λε∂(∧X
&bDλBgt&¬∪1  @!∀!⊂	Q MEλ⊂λβPλD'E∪1  @ d#⊂
↓ MEλ⊂λα⊂	∀(E∪1  @ $&⊂
! MEλ⊂λP	T*¬∪1  ?h¬ ∃"IX
⊂∨T)P
a MEλ∂` ∃λ¬@
&bD⎇⊂
t,E∪1  >λ¬P ⊗BIX
⊂≡t-PA N∧h∂( ↔H¬h	fb4yP∧/Ds1_ <Hε⊂ _α9X	P≡∧2⊂!_N∧H∞p →hε_	&b$vP
∧2DS1⊂ :hεX →B)X	⊂≥∀6P
↓⊂N∧H∞8 ≠HεH	&b$rP∞∀5∧SAλ 8hπ_ ≠α→XλP≤$:⊂
aλN∧(
x ≥Hεxλfb∀nP∂∀8∧3A 7λπP ≤B	Xλ⊂≠$>⊂∞AN∧λ
8 ∨Hπ(λ&b∧jP⊂∧;D∪A 4hλλ ≡α	Xλ⊂~∀AP∂!N∧λp !(πXλ'↓tfP⊂T?βs1 2Hλ8 ∨b	`πP→∧DP⊂⊂xNβh0 "(λ_πfb∧aP⊃4B∧∪@x 0(λ` !ay`πP↔tFP⊃xNβh` #HλPπg↓d]⊂⊃tFCS0x .λλp $↓y`πP⊗TGP∩ xNβh⊂ #h	(πg↓tX⊂⊃dLβs@p +Hλx &ai`π⊂∃4GP∪`pNβH
H #H
λπ'↓dS⊂⊃tQCS@p (hλx )Ai`π⊂∀∀G⊂∃⊂pNβH	p #h
Xπ'↓dMP⊃tWβS@x &λλp ,↓y`πP∩TGP⊗ xNβh	⊂ #h(πg↓tH⊂⊃d\βsPp #(λx .Ai`πP⊃$G⊂↔@xNβhλ@ #(xπg↓tCP⊃D`CsA !λλX 0b	hπP⊂4DP_`xNβhλλ "(@πgα∧?P⊂te∧∪Px ∨Hλ( 3!y`λ⊂∂4BP→aN∧λπP  h
λλ'"∧<⊂⊂∀iD∪A ≥hλ 5"	hλ⊂∞T?⊂~qN∧λπ  ∨λ
Pλ'"∧9⊂∂$n∧∪Aλ ≤λπH 7"→hλP
t;⊂≠qλN∧(εp ≥λ∞⊂λg"∀6⊂∞4qD3A⊂ ~Hπλ 9")h	⊂
∀7⊂≤q⊂N∧Hε@ ≠(∞H	'"$3⊂
4uDSQ⊂ →(ε@ ;")h	⊂43P≥a⊂N∧hε⊂ →λ∂	g"40⊂$y∧sQ_ ↔hε <b9h	PT/⊂≡Q_N¬λ¬` ⊗h∂8
'"D-⊂$|¬∪Q  ⊗(¬8 >BIh
⊂∧*⊂∨A NEλ¬0 ∀h∂h
'"D*P
∧␈E∪Q  ∃λ∧h @ ⊃ NEλ¬⊂ ∪λ⊂λ↓¬∪Q  ∀(∧H @ A NEλ¬ ⊃H⊂λβ¬∪Q  ∪h∧  @ q NEλ∧h ⊂H⊂λ∧E∪Q  ∪πtλBbIh
⊂	3h @!A NEλ∧P≥⊂ ⊂p
'"D$Mh⊂λλ¬∪Q  ⊃fdλD"Ih
⊂λc( @"⊃ NEλ∧(~⊂ ⊃λ
'"D"h⊂λλE∪Q  ⊂f4λDαIh
⊂λ#⊂ @"↓ NEλ∧λ→⊂ ⊂x
'"D H⊂λπ¬∪Q ∨LH⊂λεE∪Q ∨H⊂λε¬∪Q ≡Lh⊂λ¬¬∪Q ≡
(⊂λβE∪Q ≥NH⊂λE∪Q ≥⊂λ∧⎇¬∪Q ≤PλTz¬∪Q ≤P	∀w¬∪Q ≤⊂	tsE∪Q ≠P
DpE∪Q ≠⊂∀mE∪Q ~Ptj¬∪Q ~P4g¬∪Q ~⊂
∧d¬∪Q →P
d`E∪Q →⊂∞4]E∪Q →⊂∞tZE∪Q _P∂TW¬∪Q _⊂⊂$T¬∪Q _⊂⊂dQ¬∪Q ↔P⊃DME∪Q ↔P∩∧JE∪Q ↔⊂∩TGE∪Q ⊗P∪4D¬∪Q ⊗P∪tA¬∪Q ⊗⊂∀D>¬∪Q ⊗⊂∃∀:E∪Q ⊗⊂∃T7E∪Q ∃P⊗$4E∪Q ∃P⊗t1¬∪Q ∃P↔4.¬∪Q ∃⊂_∧+¬∪Q ∃⊂_T'E∪Q ∃⊂→∀$E∪Q ∃⊂_t$E∪Q ∀P_t$¬∪Q ∀P_d#E∪Q ∀P_T#¬∪Q ∀P_D"E∪Q ∀P_$"E∪Q ∀P_∀"¬∪Q ∀P_∧!E∪Q ∃⊂↔d!¬∪Q ∃⊂↔T E∪Q ∃P↔4 ¬∪Q ∃P↔∀ ¬∪Q ⊗⊂⊗sx
'"B` -Ga NE¬TZ∂"Ih
hλ≡¬∪Q _P∃S`
'"C_ *G1 NEεdS∞BIh
∞H
λ≤E∪Q ∨P∪3@
'"D!P∩S@
'"D#P∩β8
'"D&⊂⊃#0
'"D(⊂⊂S(
'"D*⊂⊂β 
'"D,P∂#_
'"D.P∞C_
'"D0P
s⊂
'"D3⊂
∪λ
'"D5⊂C
'"D7⊂rx
'"D9Pαx
'"D;P
2p
'"D=P	bh
'"D@⊂	α`
'"DB⊂λ2X
'"DD∂%1 NEλλh≠JBIh
⊂∩∪⊂∀E∪Q  %%R@
'"DM	dq NEλ	p⊃	BIh
⊂∀!`∪¬∪Q  )bb(
'"DUD$A NEλ
xελbIh
⊂⊗@0⊃¬∪Q  6BIh
⊂≠↓ NEλ
0
'"Dj¬∪Q  4BIh
⊂~↓ NEλp
'"Df¬∪Q  2BIh
⊂→↓ NEλ0
'"Db¬∪Q  0BIh
⊂_↓ NEλp
'"D↑¬∪Q  .BIh
⊂↔↓ NEλ0
'"DZ¬∪Q  ,BIh
⊂⊗↓ NEλ
p
'"DV¬∪Q  *BIh
⊂∃↓ NEλ
0
'"DR¬∪Q  (BIh
⊂∀↓ NEλ	p
'"DN¬∪Q  &BIh
⊂∪↓ NEλ	0
'"DJ¬∪Q  $BIh
⊂∩↓ NEλλp
'"DF¬∪Q  "BIh
⊂⊃↓ NEλλ0
'"DB¬∪Q   BIh
⊂⊂↓ NEλπp
'"D>¬∪Q  ≡BIh
⊂∂↓ NEλπ0
'"D:¬∪Q  ≤BIh
⊂∞↓ NEλεp
'"D6¬∪Q  ~BIh
⊂
↓ NEλε0
'"D2¬∪Q  _BIh
⊂↓ NEλ¬p
'"D.¬∪Q  ⊗BIh
⊂↓ NEλ¬0
'"D*¬∪Q  ∀BIh
⊂
↓ NEλ∧p
'"D&¬∪Q  ∩BIh
⊂	↓ NEλ∧0
'"D"¬∪Q  ⊂BIh
⊂λ↓ NEπa NE'!(NE'↓(NE&a(NEF!0NEF↓0NEEa0NEe!8NF∧a@NF$!HNFCaPNGβ↓`NGB!pOλ↓"NP		h ⊃Sd!'(∧NOScPO
SC0N
SC0N
SC0N
S@pα∧@@pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC pNβC p$?␈␈x<⊂ ∀0M⊂ ∀PMP ∀`N⊂ ∀`MP ∀pN⊂ ∀pN⊂ ∀pN⊂ ∀pN⊂ ∀pN⊂ ∀pNP ∀`N⊂ ∀`NP ∀PO⊂ ∀0"<"G 4]
F(⊂∪LV80]
↔02HFH:≥
␈λα≤NV`2⎇ ≡P∂(⎇z@< G⊂:[←(z@!`= ∨ ≡Pλπ∂λα≤NV`2⎇ ≡P∂(⎇z@< G⊂:[←(z@= ≡Pλπ∂λα≤NV`2⎇ ∨ ≡P∂(⎇z@!`⊂`∨←␈x␈␈␈␈x␈␈`⎇∨␈x␈≥C(
p≠⊂≠i` 7Fdo'λ
p≠⊂≠i` 7Fdo'λ
p≠⊂≠i` 7Fdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπεAdo'λ
pπ↓α  π⊂≠i` 7Fdo'λ
p≠⊂≠i` 7Fdo'λ
p≠⊂≠i` 7Fdo'λ
p≠⊂≠i` 7Fdo'λ
`≥⊂≠I` 6Gdm'λ
H ⊂λ
HN⊂≠∧!⊂≠	` 5H∧0 5SDjP	∧jgλ
 ⊂αD∧j'λ
⊂∂∧Cdi'λ
λ∞εβDhgλ

πC$h'λxHC∀ggλp	C∧g'λhJBtfgλ`Bdf'λXαdegλPBde'λH
MBTdgλ@
NαTd'λ8
NBTcgλ0
∂BDc'λ(
⊂λ↓  13Db¬λ∧⊂
⊂_I` 0bD"¬λ_N⊂_!  ⊃BDa'λλ
⊂	↓  03D`¬λ∧P
⊂_	` /bD&¬λxN⊂↔a  ∪BD←'λh
⊂
↓  /3D↑¬λ¬⊂
⊂↔I` .bD*¬λXN⊂↔!  ∃BD]'λH
⊂↓  .3D\¬λ¬P
⊂↔	` -bD.¬λ8N⊂⊗a  ↔BD['λ(
⊂↓  -3DZ¬λε⊂
⊂⊗I` ,bD2¬λ_N⊂⊗!  →BDY'λλ
⊂
↓  ,3DX¬λεP
⊂⊗	` +bD6¬λ
xN⊂∃a  ≠BDW'λ
h
⊂∞↓  +3DV¬λπ⊂
⊂∃I` *bD:¬λ
XN⊂∃!  ≥BDU'λ
H
⊂∂↓  *3DT¬λπP
⊂∃	` )bD>¬λ
8N⊂∀a  ∨BDS'λ
(
⊂⊂↓  )3DR¬λλ⊂
⊂∀I` (bDB¬λ
_N⊂∀!  !BDQ'λ
λ
⊂⊃↓  (3DP¬λλP
⊂∀	` 'bDF¬λ	xN⊂∪a  #BDO'λ	h
⊂∩↓  '3DN¬λ	⊂
⊂∪I` &bDJ¬λ	XN⊂∪!  %BDM'λ	H
⊂∪↓  &3DL¬λ	P
⊂∪	` %bDN¬λ	8N⊂∩a  'BDK'λ	(
⊂∀↓  %3DJ¬λ
⊂
⊂∩I` $bDR¬λ	_N⊂∩!  )BDI'λ	λ
⊂∃↓  $3DH¬λ
P
⊂∩	` #bDV¬λλxN⊂⊃a  +BDG'λλh
⊂⊗↓  #3DF¬λ⊂
⊂⊃I` "bDZ¬λλXN⊂⊃!  -BDE'λλH
⊂↔↓  "3DD¬λP
⊂⊃	` !bD↑¬λλ8N⊂⊂a  /BDC'λλ(
⊂_↓  !3DB¬λ⊂
⊂⊂I`  bDb¬λλ_N⊂⊂!  1BDA'λλλ
⊂→↓   3D@¬λP
⊂⊂	` ∨bDf¬λπxN⊂∂a  3BD?'λπh
⊂~↓  ∨3D>¬λ
⊂
⊂∂I` ≡bDj¬λπXN⊂∂!  5BD='λπH
⊂≠↓  ≡3D<¬λ
P
⊂∂	` ≥bB⊂β⊂⊗A  ≥sD;¬∧0` +bD;'λπ(
	α∀UEλπ(N⊂∞A ∩EH
8
⊂∞I` ≤bB0∞⊂∀!  ≤sD9¬∧b⊂ 'BD9'λπλ
	dtM¬λπλN⊂∞↓ ∀(	(
⊂∞	` ≠bBH→⊂∩⊃  ≠sD7¬¬#8 #"D7'λεh

gTD¬λεhN⊂
A ∃Pλ4B¬λε`N⊂
1 ⊗⊂	∧@¬λεXN⊂
! ⊗P	d=EλεPN⊂
⊃ ↔⊂
4;EλεHN⊂
↓ ↔P∧9Eλε@N⊂q ↔Pt7¬λε8N⊂a _⊂D5¬λε0N⊂Q _P
∀3¬λε(N⊂A →⊂
t0Eλε N⊂1 →P∞D.Eλε_N⊂! →P∂$,Eλε⊂N⊂⊃ ~⊂⊂∧*¬λελN⊂↓ ~P⊂T(¬λεN⊂q ≠⊂⊃$&¬λ¬xN⊂a ≠P∩∧#Eλ¬pN⊂Q ≤⊂∩T!Eλ¬hN⊂A ≤⊂∪3x
⊂I` ⊗bCH ('!  ⊗sD-¬π$S
BD-'λ¬H
∞h
P→Eλ¬HN⊂↓ ≡⊂∃Sλ
⊂	` ∃bC` ,%q  ∃sD+¬πTZ"D+'λ¬(
∂H0⊗¬λ¬(N⊂
A ∨P⊗r`
⊂
I` ∀bD ⊂↔∩X
⊂
9` ∀BD ⊂↔2X
⊂
)` ∀"D P↔RP
⊂
→` ∀αD!⊂↔bP
⊂
	` ∪bD!P_αH
⊂	y` ∪BD"⊂_∩H
⊂	i` ∪"D"P_"H
⊂	Y` ∪αD"P_BH
⊂	I` ∩bD#⊂_RH
⊂	9` ∩BD#P_bH
⊂	)` ∩"D$⊂_rH
⊂	→` ∩αD$P_rP
⊂		` ⊃bD$P→∩P
⊂λy` ⊃BD'P_RP
⊂λi` ⊃"D+⊂_αP
⊂λY` ⊃αD.⊂↔2X
⊂λI` ⊂bD1⊂⊗rX
⊂λ9` ⊂BD4P⊗"X
⊂λ)` ⊂"D7P∃R`
⊂λ→` ⊂αD:P∃∩`
⊂λ	`∨Eλπ` )¬A ∨gπa   H	x⊗Eπi`≡Eλλ@ &eQ ≡gπA  #h	(↔¬πI`≥Eλ	( $¬q ≥gπ!  &hλ`↔Eπ)`≤Eλ
⊂ !F↓ ≤gπ↓  *λλ⊂_¬π	`≠Eλ
p ∨&⊃ ≠gεa  -(π8→¬εi`~EλX ≤f! ~gεA  0(εp→EεI`→Eλ@ ~εA →gε!  3Hε_~Eε)`_Eλ
  ↔fQ _gε↓  6h¬H≠¬ε	`↔Eλ∞λ ∃εq ↔g¬a  9h∧x≤¬¬i`⊗Eλ∞p ∩'⊃ ⊗g¬A  =λ∧(≤E¬I`∃Eλ∂P ⊂π! ∃g¬!  @ ∪P≥E¬)`∀Eλ⊂λβM'A ∀g¬↓  @!#_≡E¬	`∪Eλ⊂λεGa ∪g∧a  @!S⊂∨E∧i`∩Eλ⊂λπH∧
	3B 
⊂ ⊂x→⊂λ⊃ ∩'∧1  @"β⊂ ⊂BB_NλBDλDε4!E∧)`⊂Eλ⊂λλLh∧ 
λ3B
⊂ ⊃λ~⊂λQ ⊂'βq  @"∪( ⊃BAxNπBDλD&d#Eβi`∞Eλ⊂λλ
h∧H
π3A`
⊂ ⊂p≥⊂	! ∞'β1  @!Ch ∩bAXNεBDλBgt&¬β)`Eλ⊂λ∧Pλ$&Eβ→`¬λ⊂λβPλD'Eβ	`Eλ⊂λβ⊂λd(¬αy`¬λ⊂λα⊂	∀(Eαi`
Eλ⊂λ↓⊂	D)¬αY`
¬λ⊂λP	T*¬αI`	Eλ∂x ∀λ¬(
∧sA⊂
⊂∨T)P
a 	'α⊃  ?λ¬  ⊗αAλN∧αD⎇⊂
t,Eα	`πEλ∂@ ⊗H¬P
βs@p
⊂≡t-PA π'↓a_ =(¬p ↔"0pNβ"4yP∧/DaY`ε∧h∂⊂ _Hε	C∪@X	P≡∧2⊂!_¬g↓1⊂ ;Hε8 _b XNαB$vP
∧2DA)`∧DH∞X ~hε0	α3@@	⊂≥∀6P
↓⊂∧'↓↓⊂ 9hεp ~" @N↓b$rP∞∀5∧@y`βD(∞_ ≤hε`λAs@0λP≤$:⊂
aλβ'aλ 7hπ0 ≠b⊂0N↓"∀nP∂∀8∧ Y`αDλ
` ≡Hπ⊂λ↓3@ λ⊂≠$>⊂∞Aα'A 5hπp ≥" Nb∧jP⊂∧;D9`↓Dλ
_  (π@λs@⊂λ⊂~∀AP∂!↓'! 3Hλ( ≡b⊂NAtfP⊂T?β`)`DλP !hπxλ3@λπP→∧DP⊂⊂xg⊂x 1HλH  apλV⊂_4EP⊂IX 0(λ` !sD←P⊃TD'λ` #HλPMP↔$GP⊃Y` .λλp $∪DZP⊃tI'λ⊂ #h	(N⊂⊗∧G⊂∪	X +Hλx &sDUP⊃tO'λ
H #H
λ"@H
λ #H
HN⊂∪dGP∃9` &hλx +STL⊂⊃dX'λ	( #h⊂N⊂∩$GP⊗Y` $λλp .⊃Pλπ⊂⊃TGP↔ pg⊂x "Hλp /↓pλN!tD⊂⊃T←C`→`Chλ8 #λλπ@3@λλ⊂⊂DEP_1g x  hλH 1Ap⊂NAt@P⊃∀dβ`)`↓∧λπx !hPλS@_πP∂dBP→Px↓g1 ≡hλ( 3B_Nb∧=⊂⊂4hD9`α∧λπ@  (
_λ↓∪@ λ⊂∞t@⊂~Qα'Q ≥(πp 5b(N↓"∧:⊂∂Dm∧Y`β∧λπ⊂ ≡H
`λ↓S@0λP∞∧<P≠Qλβ'qλ ≠hπ0 7b⊂8N↓b∀7⊂∞Dq∧ y`∧∧(ε` ≤h∞_λB∪@@	⊂
$8P≤Q⊂∧'↓⊃⊂ ~(εp 9b HNα"$4⊂
TtDA→`¬∧Hε0 ~h∞X	αS@X	⊂T4⊂≥Q⊂¬g↓A⊂ _hε8 ;B `Nβα41⊂Dx∧aI`εDhε _H∂⊂	C3@p	Pt0⊂≡1_π'↓q_ ↔(¬p ="0xNβbD.⊂4{E↓y`λ¬λ¬P ⊗H∂@
∧∪Aλ
⊂∀+P∨! λgα!  ⊗λ¬  ?αA⊂N∧bD+⊂
4}Eα9`
¬λ¬( ∀λ∂x
¬∪A(
⊂
D&P ⊂λ
¬3A0
⊂
$&⊂ ⊂⊂
¬SA8
⊂
∀$P ⊂ 
¬sA@
⊂
∧#⊂ ⊂0
ε∪AH
⊂	t"⊂ ⊂8
ε3AP
⊂	T!⊂ ⊂H
εSAX
⊂	Cx @!1 
gβA  ∩gTλCαA`Nπ"D%∞H⊂λπ¬βY`∂¬λ∧H≠P ⊃
πSAx
⊂λs0 @"⊃ ∂g∧↓  ⊃FTλD"BNλ"D"Mλ⊂λλE∧→`⊃¬λ∧ →P ⊃λ
λSB_
⊂λ3_ @"↓ ⊃g∧A  ⊂F$λDαB N	"D LH⊂λπE∧Y`∪¬λ∧→⊂ ⊂p
	SB8
∂f$λC"B8N
αCp→⊂ ⊂`

∪BH
∂&4λBBBHN
BC`~P ⊂8

SBX
∞g$λ@"BXNαCP ⊂λ∂P
∪Bh
∞(∧( =αBhNBCH ∩(∞p
SBx
∞λ∧x 9bBxNαC8 ∃λ∞λ
∪Cλ

H¬H 6bCλNBC( ↔h
 
SC_

(ε_ 3BC_N
αC  ~λ@

∪C(
hεp 0"C(N
BC⊂ ≤hX

SC8
Hπ8 -"C8N∞αCλ ∨(
p
∞∪CH
λλ⊂ *αCHN∞BC !H
⊂
∞SCX
hλ` &bCXN∂αBx $λ	(
∂∪Ch
H	( #bChN∂BBh &hλ@
∂SCx
(	x  BCxN⊂λ↓ ⊗⊂∀D>¬λ∧N⊂λ⊃ ⊗⊂∃∀:Eλ∧λN⊂λ! ⊗⊂∃T7Eλ∧⊂N⊂λ1 ∃P⊗$4Eλ∧_N⊂λA ∃P⊗t1¬λ∧ N⊂λQ ∃P↔4.¬λ∧(N⊂λa ∃⊂_∧+¬λ∧0N⊂λq ∃⊂_T'Eλ∧8N⊂	↓ ∃⊂→∀$Eλ∧@N⊂	⊃ ∃⊂_t$Eλ∧HN⊂	! ∀P_t$¬λ∧PN⊂	1 ∀P_d#Eλ∧XN⊂	A ∀P_T#¬λ∧`N⊂	Q ∀P_D"Eλ∧hN⊂	a ∀P_$"Eλ∧pN⊂	q ∀P_∀"¬λ∧xN⊂
↓ ∀P_∧!Eλ¬N⊂
⊃ ∃⊂↔d!¬λ¬λN⊂
! ∃⊂↔T Eλ¬⊂N⊂
1 ∃P↔4 ¬λ¬_N⊂
A ∃P↔∀ ¬λ¬ N⊂
Q ⊗⊂⊗sx
⊂
Y` ∃BB` -Ga  ∃SD+E¬TZ∂"D+gλ¬@
hλ≡¬λ¬@N⊂⊃ _P∃S`
⊂→` ⊗BC_ *G1  ⊗SD-EεdS∞BD-gλ¬`
∞H
λ≤Eλ¬`N⊂Q ∨P∪3@
⊂Y` ↔BD!P∩S@
⊂i` ↔bD#P∩β8
⊂y` _αD&⊂⊃#0
⊂	` _"D(⊂⊂S(
⊂→` _BD*⊂⊂β 
⊂)` _bD,P∂#_
⊂9` →αD.P∞C_
⊂I` →"D0P
s⊂
⊂Y` →BD3⊂
∪λ
⊂i` →bD5⊂C
⊂y` ~αD7⊂rx
⊂
	` ~"D9Pαx
⊂
→` ~BD;P
2p
⊂
)` ~bD=P	bh
⊂
9` ≠αD@⊂	α`
⊂
I` ≠"DB⊂λ2X
⊂
Y` ≠BDD∂%1  ≠SD7Eλλh≠JBD7gλπ
⊂∩∪⊂∀EλπN⊂∞⊃  %%R@
⊂∞→` ≤BDM	dq  ≤SD9Eλ	p⊃	BD9gλπ 
⊂∀!`∪¬λπ N⊂∞Q  )bb(
⊂∞Y` ≥BDUD$A  ≥SD;Eλ
xελbD;gλπ@
⊂⊗@0⊃¬λπ@N⊂∂⊃  6BD<gλπP
⊂≠↓  ≡SD=Eλ
0
⊂∂9` ∨αDj¬λπ`N⊂∂Q  4BD>gλπp
⊂~↓  ∨SD?Eλp
⊂∂y`  αDf¬λλN⊂⊂⊃  2BD@gλλ⊂
⊂→↓   SDAEλ0
⊂⊂9` !αDb¬λλ N⊂⊂Q  0BDBgλλ0
⊂_↓  !SDCEλp
⊂⊂y` "αD↑¬λλ@N⊂⊃⊃  .BDDgλλP
⊂↔↓  "SDEEλ0
⊂⊃9` #αDZ¬λλ`N⊂⊃Q  ,BDFgλλp
⊂⊗↓  #SDGEλ
p
⊂⊃y` $αDV¬λ	N⊂∩⊃  *BDHgλ	⊂
⊂∃↓  $SDIEλ
0
⊂∩9` %αDR¬λ	 N⊂∩Q  (BDJgλ	0
⊂∀↓  %SDKEλ	p
⊂∩y` &αDN¬λ	@N⊂∪⊃  &BDLgλ	P
⊂∪↓  &SDMEλ	0
⊂∪9` 'αDJ¬λ	`N⊂∪Q  $BDNgλ	p
⊂∩↓  'SDOEλλp
⊂∪y` (αDF¬λ
N⊂∀⊃  "BDPgλ
⊂
⊂⊃↓  (SDQEλλ0
⊂∀9` )αDB¬λ
 N⊂∀Q   BDRgλ
0
⊂⊂↓  )SDSEλπp
⊂∀y` *αD>¬λ
@N⊂∃⊃  ≡BDTgλ
P
⊂∂↓  *SDUEλπ0
⊂∃9` +αD:¬λ
`N⊂∃Q  ≤BDVgλ
p
⊂∞↓  +SDWEλεp
⊂∃y` ,αD6¬λN⊂⊗⊃  ~BDXgλ⊂
⊂
↓  ,SDYEλε0
⊂⊗9` -αD2¬λ N⊂⊗Q  _BDZgλ0
⊂↓  -SD[Eλ¬p
⊂⊗y` .αD.¬λ@N⊂↔⊃  ⊗BD\gλP
⊂↓  .SD]Eλ¬0
⊂↔9` /αD*¬λ`N⊂↔Q  ∀BD↑gλp
⊂
↓  /SD←Eλ∧p
⊂↔y` 0αD&¬λN⊂_⊃  ∩BD`gλ⊂
⊂	↓  0SDaEλ∧0
⊂_9` 1αD"¬λ N⊂_Q  ⊂BDbgλ0
⊂λ↓  1SDcEπa  1sDd¬'!( 2∪DdE'↓( 23De¬&a( 2SDeEF!0 2sDf¬F↓0 3∪DfEEa0 33Dg¬e!8 3SDgF∧a@ 3sDhε$!H 4∪DhFCaP 43Diπβ↓` 4SDiGB!p 4sDjH↓" 53Dk⊂	∧k'λ
8 ⊃H
8N⊂≠∀!⊂≠→` 6H∧ 6SDmOH
XN⊂≠SP 73DoMH
xN⊂≠s0 7sDoMH
xN⊂≠s0 7sDoMH
xN⊂≠s0 7sDoMH
xN⊂≠ppα∧@@p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sDoCC p 7sD+P ∀0 ∃sD*P ∀P ∃3D*⊂ ∀` ∃∪D*⊂ ∀` ∃∪D)P ∀p ∀sD)P ∀p ∀sD)P ∀p ∀sD)P ∀p ∀sD)P ∀p ∀sD)P ∀p ∀sD*⊂ ∀` ∃∪D*⊂ ∀` ∃∪D*P ∀P ∃3D+P ∀0 ∃hO@¬5x∧UY,
(		∨_␈␈␈g ⊃ {∨@⎇λ↑≤@	⊗>gx∨ 7G⊂α_|@αX/`;⎇xow{⎇x